ReP USP - Resultado da busca

Artigo de periodico
A note on supersaturated set systems (2016)
Frankl, Peter; Kohayakawa, Yoshiharu ; Rodl, Vojtech
Source: European Journal of Combinatorics. Unidade: IME
Subjects: TEORIA DOS CONJUNTOS, LÓGICA COMBINATÓRIA, COMBINATÓRIA, GRAFOS ALEATÓRIOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FRANKL, Peter e KOHAYAKAWA, Yoshiharu e RODL, Vojtech. A note on supersaturated set systems. European Journal of Combinatorics, v. 51, n. Ja 2016, p. 190-199, 2016Tradução . . Disponível em: https://doi.org/10.1016/j.ejc.2015.03.028. Acesso em: 07 maio 2024.
APA
Frankl, P., Kohayakawa, Y., & Rodl, V. (2016). A note on supersaturated set systems. European Journal of Combinatorics, 51( Ja 2016), 190-199. doi:10.1016/j.ejc.2015.03.028
NLM
Frankl P, Kohayakawa Y, Rodl V. A note on supersaturated set systems [Internet]. European Journal of Combinatorics. 2016 ; 51( Ja 2016): 190-199.[citado 2024 maio 07 ] Available from: https://doi.org/10.1016/j.ejc.2015.03.028
Vancouver
Frankl P, Kohayakawa Y, Rodl V. A note on supersaturated set systems [Internet]. European Journal of Combinatorics. 2016 ; 51( Ja 2016): 190-199.[citado 2024 maio 07 ] Available from: https://doi.org/10.1016/j.ejc.2015.03.028
Artigo de periodico
Resource use pattern analysis for predicting resource availability in opportunistic grids (2010)
Finger, Marcelo ; Bezerra, Germano Capistrano; Conde, Danilo Matheus Rubio
Source: Concurrency and Computation. Practice & Experience. Unidade: IME
Assunto: LÓGICA COMBINATÓRIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e BEZERRA, Germano Capistrano e CONDE, Danilo Matheus Rubio. Resource use pattern analysis for predicting resource availability in opportunistic grids. Concurrency and Computation. Practice & Experience, v. 22, n. 2, p. 295-313, 2010Tradução . . Disponível em: https://doi.org/10.1002/cpe.1478. Acesso em: 07 maio 2024.
APA
Finger, M., Bezerra, G. C., & Conde, D. M. R. (2010). Resource use pattern analysis for predicting resource availability in opportunistic grids. Concurrency and Computation. Practice & Experience, 22( 2), 295-313. doi:10.1002/cpe.1478
NLM
Finger M, Bezerra GC, Conde DMR. Resource use pattern analysis for predicting resource availability in opportunistic grids [Internet]. Concurrency and Computation. Practice & Experience. 2010 ; 22( 2): 295-313.[citado 2024 maio 07 ] Available from: https://doi.org/10.1002/cpe.1478
Vancouver
Finger M, Bezerra GC, Conde DMR. Resource use pattern analysis for predicting resource availability in opportunistic grids [Internet]. Concurrency and Computation. Practice & Experience. 2010 ; 22( 2): 295-313.[citado 2024 maio 07 ] Available from: https://doi.org/10.1002/cpe.1478
Trabalho de evento-anais periodico
Analytic methods for the logic of proofs (2010)
Finger, Marcelo
Source: Journal of Logic and Computation. Conference titles: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, 16. Unidade: IME
Assunto: LÓGICA COMBINATÓRIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Analytic methods for the logic of proofs. Journal of Logic and Computation. Oxford: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1093/logcom/exn065. Acesso em: 07 maio 2024. , 2010
APA
Finger, M. (2010). Analytic methods for the logic of proofs. Journal of Logic and Computation. Oxford: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1093/logcom/exn065
NLM
Finger M. Analytic methods for the logic of proofs [Internet]. Journal of Logic and Computation. 2010 ; 20( 1): 167-188.[citado 2024 maio 07 ] Available from: https://doi.org/10.1093/logcom/exn065
Vancouver
Finger M. Analytic methods for the logic of proofs [Internet]. Journal of Logic and Computation. 2010 ; 20( 1): 167-188.[citado 2024 maio 07 ] Available from: https://doi.org/10.1093/logcom/exn065
Trabalho de evento
Horn clause contraction functions: belief set and belief base approaches (2010)
Delgrande, Jaime P; Wassermann, Renata
Source: Proceedings. Conference titles: International Conference on the Principles of Knowledge Representation and Reasoning - KR. Unidade: IME
Assunto: LÓGICA COMBINATÓRIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DELGRANDE, Jaime P e WASSERMANN, Renata. Horn clause contraction functions: belief set and belief base approaches. 2010, Anais.. Menlo Park: AAAI Press, 2010. Disponível em: https://aaai.org/ocs/index.php/KR/KR2010/paper/viewFile/1359/1610. Acesso em: 07 maio 2024.
APA
Delgrande, J. P., & Wassermann, R. (2010). Horn clause contraction functions: belief set and belief base approaches. In Proceedings. Menlo Park: AAAI Press. Recuperado de https://aaai.org/ocs/index.php/KR/KR2010/paper/viewFile/1359/1610
NLM
Delgrande JP, Wassermann R. Horn clause contraction functions: belief set and belief base approaches [Internet]. Proceedings. 2010 ;[citado 2024 maio 07 ] Available from: https://aaai.org/ocs/index.php/KR/KR2010/paper/viewFile/1359/1610
Vancouver
Delgrande JP, Wassermann R. Horn clause contraction functions: belief set and belief base approaches [Internet]. Proceedings. 2010 ;[citado 2024 maio 07 ] Available from: https://aaai.org/ocs/index.php/KR/KR2010/paper/viewFile/1359/1610
Artigo de periodico
Approximate and limited reasoning: semantics, proof theory, expressivity and control (2004)
Finger, Marcelo ; Wassermann, Renata
Source: Journal of Logics and Computation. Unidade: IME
Assunto: LÓGICA COMBINATÓRIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e WASSERMANN, Renata. Approximate and limited reasoning: semantics, proof theory, expressivity and control. Journal of Logics and Computation, v. 12, n. 2, p. 179-204, 2004Tradução . . Disponível em: https://doi.org/10.1007/BF03192373. Acesso em: 07 maio 2024.
APA
Finger, M., & Wassermann, R. (2004). Approximate and limited reasoning: semantics, proof theory, expressivity and control. Journal of Logics and Computation, 12( 2), 179-204. doi:10.1007/BF03192373
NLM
Finger M, Wassermann R. Approximate and limited reasoning: semantics, proof theory, expressivity and control [Internet]. Journal of Logics and Computation. 2004 ; 12( 2): 179-204.[citado 2024 maio 07 ] Available from: https://doi.org/10.1007/BF03192373
Vancouver
Finger M, Wassermann R. Approximate and limited reasoning: semantics, proof theory, expressivity and control [Internet]. Journal of Logics and Computation. 2004 ; 12( 2): 179-204.[citado 2024 maio 07 ] Available from: https://doi.org/10.1007/BF03192373
Artigo de periodico
Local change (2002)
Hansson, Sven Ove ; Wassermann, Renata
Source: Studia Logica. Unidade: IME
Subjects: LÓGICA COMBINATÓRIA, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HANSSON, Sven Ove e WASSERMANN, Renata. Local change. Studia Logica, v. 70, n. 1, p. 49-76, 2002Tradução . . Disponível em: https://doi.org/10.1023/A:1014654208944. Acesso em: 07 maio 2024.
APA
Hansson, S. O., & Wassermann, R. (2002). Local change. Studia Logica, 70( 1), 49-76. doi:10.1023/A:1014654208944
NLM
Hansson SO, Wassermann R. Local change [Internet]. Studia Logica. 2002 ; 70( 1): 49-76.[citado 2024 maio 07 ] Available from: https://doi.org/10.1023/A:1014654208944
Vancouver
Hansson SO, Wassermann R. Local change [Internet]. Studia Logica. 2002 ; 70( 1): 49-76.[citado 2024 maio 07 ] Available from: https://doi.org/10.1023/A:1014654208944

USP Schools

ReP

Filtros

Authors

Source title

Indexado em